Using business process reengineering to obtain a RAISE specification

We have proposed a technique which can be employed within the methodology known as business process reengineering. This technique has been applied in a government project, which included an Information System and Geographical Information System, developed with financial support from The World Bank. One model used in process reengineering is the process model diagram, which helps to find the tasks, to be completed in each area of the organisation. To understand the domain is crucial to be able to specify each one of these tasks. We show in this work how to use process modelling to find the tasks and to formalise their description using RAISE formal method. In this way, using a model of process as input, an engineer employs a systematic technique to create-as a starting point-the main functions (tasks) of the domain using the RAISE formal method. Furthermore, we show how a structured architecture in layers can be used for reuse during the development in the large.Facultad de Informátic

Técnicas de reuso dentro de la Ingeniería del Dominio

La mayoría de los métodos de desarrollo, incluyendo los métodos orientados a objetos, no incluyen actividades y técnicas de reuso bien definidas. A menos que las actividades del reuso sean parte integral y natural del proceso de desarrollo es probable que el reuso no se practique en los proyectos de software. El reuso debe ser planificado con el comienzo del planning en los estados muy tempranos del proceso de desarrollo. Dejar el reuso como una actividad del final del proceso es un error común. Una clave para maximizar los beneficios del reuso es pensar en ‘grande’ Pensar ´grande´, en términos de ‘grandes’ componentes, es decir no simplemente reusar una función sino reusar subsistemas completos y arquitecturas enteras, así como también significa pensar en términos del reuso en altos niveles de abstracciones de software, por ejemplo reuso de diseño en vez de reuso de código. Generalmente, reusar código es lo primero en que se piensa y lo que se practica.Eje: Análisis de RequerimientosRed de Universidades con Carreras en Informática (RedUNCI

Transformación de Workflows Científicos a BPMN2

Hoy en día la automatización de los procesos de negocio (workflow) se ha convertido en una herramienta clave en el crecimiento de las organizaciones, con el objetivo de mejorar el rendimiento, obtener eficiencia en los procesos y un buen control del negocio. Por otra parte, la empresa ESTECO tiene un modelador, desarrollado por la misma, que se utiliza en procesos ingenieriles. Si bien, su modelo ha demostrado ser útil en el contexto de procesos de ingeniería, buscar modelar un flujo de procesos científicos con un estándar posibilitará construir modelos de manera unificada y estandarizada permitiendo el entendimiento de todas las personas relacionadas al negocio. Existen muchos estándares en el ámbito de negocios, pero en general no son directamente aplicables al ámbito de procesos de ingeniería o computación científica. BPMN (Business Process Model and Notation) es un estándar clave para el modelado de procesos de negocio, en el cual se presentan gráficamente las distintas etapas de un proceso de negocio. La última definición del estándar BPMN ha sido desarrollada teniendo en cuenta el objetivo de superar las limitaciones que impiden su aplicación tanto en las aplicaciones científicas como en las aplicaciones de ingeniería.Eje: Ingeniería de softwareRed de Universidades con Carreras en Informática (RedUNCI

Una técnica para una especificación inicial en RSL

Los métodos formales ayudan a incrementar la confiabilidad del software. Estos métodos permiten “razonar” acerca de propiedades del software o de sistemas que involucran software. Además, ofrecen la seguridad de que los requisitos son verificados en cada paso del desarrollo, encontrando inconsistencias e incompletitud. Las especificaciones formales se pueden usar durante todo el ciclo de vida del software y se pueden manipular con herramientas automáticas con una amplia variedad de propósitos tales como model checking, verificación deductiva, animación, generación de casos de prueba, reuso formal de componentes, y refinamiento de especificación a implementación. El Método RAISE (Rigourous Approach to Industrial Software Engineering) [3], por ejemplo, provee facilidades para el uso industrial de métodos formales en el desarrollo de sistemas de software. Este método provee de un gran número de técnicas y estrategias para hacer desarrollos formales y pruebas, además de un lenguaje formal de especificación, RAISE Specification Language (RSL) [2], y un conjunto de herramientas. Sin embargo, estos métodos son, en general, sólo accesibles a especialistas debido a que sus formalismos matemáticos son más difíciles de entender y comunicar.Eje: Ingeniería del SoftwareRed de Universidades con Carreras en Informática (RedUNCI

Transformación de Workflows Científicos a BPMN2

Hoy en día la automatización de los procesos de negocio (workflow) se ha convertido en una herramienta clave en el crecimiento de las organizaciones, con el objetivo de mejorar el rendimiento, obtener eficiencia en los procesos y un buen control del negocio. Por otra parte, la empresa ESTECO tiene un modelador, desarrollado por la misma, que se utiliza en procesos ingenieriles. Si bien, su modelo ha demostrado ser útil en el contexto de procesos de ingeniería, buscar modelar un flujo de procesos científicos con un estándar posibilitará construir modelos de manera unificada y estandarizada permitiendo el entendimiento de todas las personas relacionadas al negocio. Existen muchos estándares en el ámbito de negocios, pero en general no son directamente aplicables al ámbito de procesos de ingeniería o computación científica. BPMN (Business Process Model and Notation) es un estándar clave para el modelado de procesos de negocio, en el cual se presentan gráficamente las distintas etapas de un proceso de negocio. La última definición del estándar BPMN ha sido desarrollada teniendo en cuenta el objetivo de superar las limitaciones que impiden su aplicación tanto en las aplicaciones científicas como en las aplicaciones de ingeniería.Eje: Ingeniería de softwareRed de Universidades con Carreras en Informática (RedUNCI

Una técnica para una especificación inicial en RSL

Los métodos formales ayudan a incrementar la confiabilidad del software. Estos métodos permiten “razonar” acerca de propiedades del software o de sistemas que involucran software. Además, ofrecen la seguridad de que los requisitos son verificados en cada paso del desarrollo, encontrando inconsistencias e incompletitud. Las especificaciones formales se pueden usar durante todo el ciclo de vida del software y se pueden manipular con herramientas automáticas con una amplia variedad de propósitos tales como model checking, verificación deductiva, animación, generación de casos de prueba, reuso formal de componentes, y refinamiento de especificación a implementación. El Método RAISE (Rigourous Approach to Industrial Software Engineering) [3], por ejemplo, provee facilidades para el uso industrial de métodos formales en el desarrollo de sistemas de software. Este método provee de un gran número de técnicas y estrategias para hacer desarrollos formales y pruebas, además de un lenguaje formal de especificación, RAISE Specification Language (RSL) [2], y un conjunto de herramientas. Sin embargo, estos métodos son, en general, sólo accesibles a especialistas debido a que sus formalismos matemáticos son más difíciles de entender y comunicar.Eje: Ingeniería del SoftwareRed de Universidades con Carreras en Informática (RedUNCI

Defining the proxy design pattern using UML profile

Today software solutions are often modeled using UML. Design patterns are frequently instantiated within these particular solutions. However, in several situations, UML is not expressive enough to describe them properly. UML profiles extend UML syntax and semantic in order to model elements of particular domains. As profiles extend UML vocabulary; design patterns define a common vocabulary for software designers. Because of this, it is possible to use a profile to define a design pattern’s vocabulary in UML. Profiles can be used to solve particular problems in different domains. This work shows a way in which profiles can be used to define design patterns. The definition of the proxy design pattern is shown as an example of our proposal.III Workshop de Ingeniería de Software y Bases de Datos (WISBD)Red de Universidades con Carreras en Informática (RedUNCI

Transformación de Workflows Científicos a BPMN2

Hoy en día la automatización de los procesos de negocio (workflow) se ha convertido en una herramienta clave en el crecimiento de las organizaciones, con el objetivo de mejorar el rendimiento, obtener eficiencia en los procesos y un buen control del negocio. Por otra parte, la empresa ESTECO tiene un modelador, desarrollado por la misma, que se utiliza en procesos ingenieriles. Si bien, su modelo ha demostrado ser útil en el contexto de procesos de ingeniería, buscar modelar un flujo de procesos científicos con un estándar posibilitará construir modelos de manera unificada y estandarizada permitiendo el entendimiento de todas las personas relacionadas al negocio. Existen muchos estándares en el ámbito de negocios, pero en general no son directamente aplicables al ámbito de procesos de ingeniería o computación científica. BPMN (Business Process Model and Notation) es un estándar clave para el modelado de procesos de negocio, en el cual se presentan gráficamente las distintas etapas de un proceso de negocio. La última definición del estándar BPMN ha sido desarrollada teniendo en cuenta el objetivo de superar las limitaciones que impiden su aplicación tanto en las aplicaciones científicas como en las aplicaciones de ingeniería.Eje: Ingeniería de softwareRed de Universidades con Carreras en Informática (RedUNCI

Técnicas de reuso dentro de la Ingeniería del Dominio

La mayoría de los métodos de desarrollo, incluyendo los métodos orientados a objetos, no incluyen actividades y técnicas de reuso bien definidas. A menos que las actividades del reuso sean parte integral y natural del proceso de desarrollo es probable que el reuso no se practique en los proyectos de software. El reuso debe ser planificado con el comienzo del planning en los estados muy tempranos del proceso de desarrollo. Dejar el reuso como una actividad del final del proceso es un error común. Una clave para maximizar los beneficios del reuso es pensar en ‘grande’ Pensar ´grande´, en términos de ‘grandes’ componentes, es decir no simplemente reusar una función sino reusar subsistemas completos y arquitecturas enteras, así como también significa pensar en términos del reuso en altos niveles de abstracciones de software, por ejemplo reuso de diseño en vez de reuso de código. Generalmente, reusar código es lo primero en que se piensa y lo que se practica.Eje: Análisis de RequerimientosRed de Universidades con Carreras en Informática (RedUNCI

A managerial framework for an electronic government procurement project: complex software projects management fundamentals

An Electronic Government Procurement (e-GP) project, as most of complex software systems development and implantation, requires sophisticated and strong managerial concepts and skills. So, an effective and consistent managerial framework is needed. Traditional project management models, that propose a series of good practices and tools, must be extended, modified and improved to face, as an example, Electronic Government (e-Government) applications. These additional capabilities are very important in the environment of e-GP projects. This paper describes a specific managerial framework adopted to face an e-GP project, at an argentine province level, with Inter American Development Bank supervision and finance support. The proposal includes a scheme where Software Engineering Institute's (SEI) Capability Maturity Model Integration (CMMI) is complemented with Project Management Institute (PMI) points of view included at Project Management Body of Knowledge 3rd Edition (PMBOK) This paper could be useful for software engineers oriented to e-GP applications development and implantation, others e-Government applications and also, in general terms, in the field of complex e-Business projects.II Workshop de Ingeniería de Software y Bases de Datos (WISBD)Red de Universidades con Carreras en Informática (RedUNCI